『History of Interactive Theorem Proving』 - pogi-log

『History of Interactive Theorem Proving』

Harrison, John, Urban, Josef, Wiedijk, Freek. “History of Interactive Theorem Proving”. Handbook of the History of Logic. Elsevier, 2014, p. 135–214, ISBN978-0-444-51624-4. https://linkinghub.elsevier.com/retrieve/pii/B9780444516244500046

https://www.cl.cam.ac.uk/~jrh13/papers/joerg.pdf

1. どんなもの？

定理証明支援系の歴史について

2. 先行研究と比べてどこがすごい？

3. 技術や手法のキモはどこ？

4. どうやって有効だと検証した？

5. 議論はある？

6. 次に読むべき論文は？

確認用

Q.

#論文読み #論文